منابع مشابه
Reasoning from inconsistency to consistency.
This article presents a theory of how individuals reason from inconsistency to consistency. The theory is based on 3 main principles. First, individuals try to construct a single mental model of a possibility that satisfies a current set of propositions, and if the task is impossible, they infer that the set is inconsistent. Second, when an inconsistency arises from an incontrovertible fact, th...
متن کاملStrong Inconsistency in Nonmonotonic Reasoning
Minimal inconsistent subsets of knowledge bases play an important role in classical logics, most notably for repair and inconsistency measurement. It turns out that for nonmonotonic reasoning a stronger notion is needed. In this paper we develop such a notion, called strong inconsistency. We show that—in an arbitrary logic, monotonic or not—minimal strongly inconsistent subsets play the same ro...
متن کاملMaking inconsistency respectable: a logical framework for inconsistency in reasoning
We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done by \restoring" consistency but by supplying rules telling one how to act when the inconsistency arises. For artiicial intelligence there is an urgent need to revise the view that inconsi...
متن کاملOptimizing Inconsistency-tolerant Description Logic Reasoning
The study of inconsistency-tolerant description logic reasoning is of growing importance for the Semantic Web since knowledge within it may not be logically consistent. The recently developed quasi-classical description logic has proved successful in handling inconsistency in description logic. To achieve a high level of performance when using tableau-based algorithms requires the incorporation...
متن کاملEOLC: Efficiently Modelling Inconsistency for Commonsense Reasoning
This paper presents EOLC, a declarative rule language for commonsense reasoning incorporating non-monotonicity using a fourvalued logic, to explicitly model overspecified information, priorities among rules using an overrides predicate, arithmetic constraints, and optimization through an ordering operator rank. EOLC also supports the recursive definition of rules. We give the declarative semant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 1992
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v14i1.2521